@jmarcelino Securing keys on a device is always hard, or, not possible. If the program can decrypt the keys for use, then the decryption keys are known and thus the keys it self :-) And I think, every device get's it's own keys, thus if one is tampered with, all others may not be.
What do you mean with framecounters? The tcp/ip frames? And MIC attacks?
Sorry, I am dumb :-)